An Experience Using JASMINUM - Formalization Assisting with the Design of User Interfaces
نویسندگان
چکیده
This paper describes experience in using a visual formalism, called JASMINUM, in the design of the user interface of a structured document editor called Waterloo Rita. JASMINUM combines concepts from Abstract Data Views, with notations from Objectcharts, Statecharts, and Petri-nets. JASMINUMwas motivated by the need for a formal notation to express directly some aspects of the design of interactive systems, especially the design of an interactive system through its user interface. In particular, we show in this paper how the use of JASMINUM helped to find some design flaws in the existing Waterloo Rita system, demonstrating that JASMINUM might be a useful notation for re-engineering systems.
منابع مشابه
User Interface Design in Mobile Educational Applications
Introduction: User interfaces are a crucial factor in ensuring the success of mobile applications. Mobile Educational Applications not only provide flexibility in learning, but also allow learners to learn at any time and any place. The purpose of this article is to investigate the effective factors affecting the design of the user interface in mobile educational applications. Methods: Quantita...
متن کاملA New Trust Model for B2C E-Commerce Based on 3D User Interfaces
Lack of trust is one of the key bottle necks in e-commerce development. Nowadays many advanced technologies are trying to address the trust issues in e-commerce. One among them suggests using suitable user interfaces. This paper investigates the functionality and capabilities of 3D graphical user interfaces in regard to trust building in the customers of next generation of B2C e-commerce websit...
متن کاملAmbient Interface Design (AID) for Aging, Independence and Disability
The global proliferation of increasing longevity in modern society has fixed a focus on assisting the elderly and those living with disability through computing technology. To remain independently empowered, a seamless integration through efficient affable interfaces is required. The Ambient Interface Design (AID) system intends to assist with finding personal preferences and also provide a syn...
متن کاملA Formalization of Metaphors and Image-schemas in User Interfaces
Sound engineering approaches to user interface design require the formalization of key interaction concepts, one of them being metaphor. Work on interface metaphors has, however, been largely non-formal so far. The few existing formal theories of metaphor have been developed in the context of natural language understanding, learning, or reasoning. We propose to formalize interface metaphors by ...
متن کاملSelecting and Extracting Effective Features of SSVEP-based Brain-Computer Interface
User interfaces are always one of the most important applied and study fields of information technology. The development and expansion of cognitive science studies and functionalization of its tools such as BCI1, as well as popularization of methods such as SSVEP2 to stimulate brain waves, have led to using these techniques every day, especially in appropriate solutions for physically and menta...
متن کامل